- [數(shù)] 半可算謂詞類
- computable predicate: 可算謂詞
- computable: adj. 能計(jì)算的，能算出的。
- predicate: n. 1.【語(yǔ)法】謂語(yǔ)，述語(yǔ)。 2.【邏輯學(xué)】謂項(xiàng)，述項(xiàng)，述詞，賓詞。 3.本質(zhì)；屬性。 adj. 謂語(yǔ)的，述語(yǔ)的；謂項(xiàng)的，述項(xiàng)的。 vt. 1.論斷，斷言；斷定…為某物的屬性；斷定某物有…的屬性 (about; of)。 2.〔美國(guó)〕使(聲明、行動(dòng)等)依據(jù)于 (on; upon), 使基于。 3.宣言，宣布，聲明。 4.意味著，具有…的含義。 5.【語(yǔ)法】表述。 vi. 斷言 (of)。 Can anything be predicated about a non-existent thing 能夠表述不存在的東西嗎？ (We) predicate of the motive that it is good. (我們)斷言這個(gè)動(dòng)機(jī)是好的。
- predicate of: n變?cè)^詞; 變項(xiàng)謂詞
- predicate on: 使基于
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯